Parsing with zippers improves parsing with derivatives
dl.acm.org·5h·
Discuss: Hacker News
🔧Parser Combinators
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·13h·
Discuss: Hacker News
💻Programming
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
⚙Compiler Theory Applications
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·4h·
Discuss: Substack
⚙Compiler Theory Applications
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🔧Parser Combinators
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·15h·
Discuss: Lobsters, Hacker News
🛠developer tools
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
⚙Compiler Theory Applications
Flag this post
MS-DOS Development with GCC
hackaday.com·2h·
Discuss: Hacker News
⚙Compiler Theory Applications
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
Discuss: Lobsters, Hacker News
⚙Compiler Theory Applications
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·51m·
Discuss: Hacker News
🧠Digital Mnemonics
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
🛠developer tools
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·1d·
Discuss: Hacker News
💻Programming
Flag this post
Handbook of Satisfiability (2021)
iospress.com·3h·
Discuss: Hacker News
🔗Functional Programming
Flag this post
The Development of Pie
terathon.com·16h·
Discuss: Hacker News
💻Programming
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·2d·
Discuss: Lobsters, Hacker News
🔗Functional Programming
Flag this post
The Evolution of GPUs: How Floating-Point Changed Computing
dell.com·1h·
Discuss: Hacker News
⚙Compiler Theory Applications
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·3d·
Discuss: Hacker News
🔌API Ergonomics
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·3d·
Discuss: Hacker News
🛠developer tools
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·2h·
Discuss: Hacker News
🔧Parser Combinators
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·16h·
Discuss: Substack
🔧Parser Combinators
Flag this post